Optimal. Leaf size=73 \[ 2 a^2 \sqrt {-a+b x}-\frac {2}{3} a (-a+b x)^{3/2}+\frac {2}{5} (-a+b x)^{5/2}-2 a^{5/2} \tan ^{-1}\left (\frac {\sqrt {-a+b x}}{\sqrt {a}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 73, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 3, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {52, 65, 211}
\begin {gather*} -2 a^{5/2} \text {ArcTan}\left (\frac {\sqrt {b x-a}}{\sqrt {a}}\right )+2 a^2 \sqrt {b x-a}-\frac {2}{3} a (b x-a)^{3/2}+\frac {2}{5} (b x-a)^{5/2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 52
Rule 65
Rule 211
Rubi steps
\begin {align*} \int \frac {(-a+b x)^{5/2}}{x} \, dx &=\frac {2}{5} (-a+b x)^{5/2}-a \int \frac {(-a+b x)^{3/2}}{x} \, dx\\ &=-\frac {2}{3} a (-a+b x)^{3/2}+\frac {2}{5} (-a+b x)^{5/2}+a^2 \int \frac {\sqrt {-a+b x}}{x} \, dx\\ &=2 a^2 \sqrt {-a+b x}-\frac {2}{3} a (-a+b x)^{3/2}+\frac {2}{5} (-a+b x)^{5/2}-a^3 \int \frac {1}{x \sqrt {-a+b x}} \, dx\\ &=2 a^2 \sqrt {-a+b x}-\frac {2}{3} a (-a+b x)^{3/2}+\frac {2}{5} (-a+b x)^{5/2}-\frac {\left (2 a^3\right ) \text {Subst}\left (\int \frac {1}{\frac {a}{b}+\frac {x^2}{b}} \, dx,x,\sqrt {-a+b x}\right )}{b}\\ &=2 a^2 \sqrt {-a+b x}-\frac {2}{3} a (-a+b x)^{3/2}+\frac {2}{5} (-a+b x)^{5/2}-2 a^{5/2} \tan ^{-1}\left (\frac {\sqrt {-a+b x}}{\sqrt {a}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.05, size = 60, normalized size = 0.82 \begin {gather*} \frac {2}{15} \sqrt {-a+b x} \left (23 a^2-11 a b x+3 b^2 x^2\right )-2 a^{5/2} \tan ^{-1}\left (\frac {\sqrt {-a+b x}}{\sqrt {a}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.09, size = 58, normalized size = 0.79
method | result | size |
derivativedivides | \(-\frac {2 a \left (b x -a \right )^{\frac {3}{2}}}{3}+\frac {2 \left (b x -a \right )^{\frac {5}{2}}}{5}-2 a^{\frac {5}{2}} \arctan \left (\frac {\sqrt {b x -a}}{\sqrt {a}}\right )+2 a^{2} \sqrt {b x -a}\) | \(58\) |
default | \(-\frac {2 a \left (b x -a \right )^{\frac {3}{2}}}{3}+\frac {2 \left (b x -a \right )^{\frac {5}{2}}}{5}-2 a^{\frac {5}{2}} \arctan \left (\frac {\sqrt {b x -a}}{\sqrt {a}}\right )+2 a^{2} \sqrt {b x -a}\) | \(58\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.49, size = 57, normalized size = 0.78 \begin {gather*} -2 \, a^{\frac {5}{2}} \arctan \left (\frac {\sqrt {b x - a}}{\sqrt {a}}\right ) + \frac {2}{5} \, {\left (b x - a\right )}^{\frac {5}{2}} - \frac {2}{3} \, {\left (b x - a\right )}^{\frac {3}{2}} a + 2 \, \sqrt {b x - a} a^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.50, size = 119, normalized size = 1.63 \begin {gather*} \left [\sqrt {-a} a^{2} \log \left (\frac {b x - 2 \, \sqrt {b x - a} \sqrt {-a} - 2 \, a}{x}\right ) + \frac {2}{15} \, {\left (3 \, b^{2} x^{2} - 11 \, a b x + 23 \, a^{2}\right )} \sqrt {b x - a}, -2 \, a^{\frac {5}{2}} \arctan \left (\frac {\sqrt {b x - a}}{\sqrt {a}}\right ) + \frac {2}{15} \, {\left (3 \, b^{2} x^{2} - 11 \, a b x + 23 \, a^{2}\right )} \sqrt {b x - a}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 2.27, size = 240, normalized size = 3.29 \begin {gather*} \begin {cases} \frac {46 a^{\frac {5}{2}} \sqrt {-1 + \frac {b x}{a}}}{15} + i a^{\frac {5}{2}} \log {\left (\frac {b x}{a} \right )} - 2 i a^{\frac {5}{2}} \log {\left (\frac {\sqrt {b} \sqrt {x}}{\sqrt {a}} \right )} + 2 a^{\frac {5}{2}} \operatorname {asin}{\left (\frac {\sqrt {a}}{\sqrt {b} \sqrt {x}} \right )} - \frac {22 a^{\frac {3}{2}} b x \sqrt {-1 + \frac {b x}{a}}}{15} + \frac {2 \sqrt {a} b^{2} x^{2} \sqrt {-1 + \frac {b x}{a}}}{5} & \text {for}\: \left |{\frac {b x}{a}}\right | > 1 \\\frac {46 i a^{\frac {5}{2}} \sqrt {1 - \frac {b x}{a}}}{15} + i a^{\frac {5}{2}} \log {\left (\frac {b x}{a} \right )} - 2 i a^{\frac {5}{2}} \log {\left (\sqrt {1 - \frac {b x}{a}} + 1 \right )} - \frac {22 i a^{\frac {3}{2}} b x \sqrt {1 - \frac {b x}{a}}}{15} + \frac {2 i \sqrt {a} b^{2} x^{2} \sqrt {1 - \frac {b x}{a}}}{5} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.89, size = 57, normalized size = 0.78 \begin {gather*} -2 \, a^{\frac {5}{2}} \arctan \left (\frac {\sqrt {b x - a}}{\sqrt {a}}\right ) + \frac {2}{5} \, {\left (b x - a\right )}^{\frac {5}{2}} - \frac {2}{3} \, {\left (b x - a\right )}^{\frac {3}{2}} a + 2 \, \sqrt {b x - a} a^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.04, size = 57, normalized size = 0.78 \begin {gather*} \frac {2\,{\left (b\,x-a\right )}^{5/2}}{5}-\frac {2\,a\,{\left (b\,x-a\right )}^{3/2}}{3}-2\,a^{5/2}\,\mathrm {atan}\left (\frac {\sqrt {b\,x-a}}{\sqrt {a}}\right )+2\,a^2\,\sqrt {b\,x-a} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________